"Ron van der Meyden" скачать бесплатно. Электронная библиотека. Поиск книг LibCats

Самая большая электронная библиотека рунета. Поиск книг и журналов

Model Checking and Artificial Intelligence - MoChArt 2010

Автор: Ron van der Meyden, Автор: Jan Smaus

Размер книги: 1.59 Mb

Deontic Logic in Computer Science: 9th International Conference, DEON 2008, Luxembourg, Luxembourg, July 15-18, 2008, Proceedings

Автор: Ron van der Meyden, Автор: Leendert van der Torre

Размер книги: 2.99 Mb